例句與造句

1. The toolkit is a suite of utilities including a specification editor to create a theorem prover to check program properties against the specification, and an invariant generator that automatically constructs invariants based on the requirements.
2. It's difficult to find invariant generator in a sentence. 用invariant generator造句挺難的